易验证下述序列满足条件:

其中 是固定的状态.